»Bard želi združiti širino svetovnega znanja z močjo, inteligenco in ustvarjalnostjo naših velikih jezikovnih modelov.«
»Konkretno me zelo zanima umetna inteligenca na področju dokazovanja izrekov, kjer se ukvarjam z 'dokazovalnimi pomočniki' in vprašanjem, kako bi nam računalniki pomagali pri odkrivanju novega matematičnega znanja.«
Kliknite povezavo za prikaz izjav v želenem obdobju